projects / gringo.git / shortlog
| 2020-03-12 | Steve Langasek | fix compatibility with Python 3.8 | commit | commitdiff | tree | snapshot |
| 2020-03-12 | Roland Kaminski | rename async keyword in python API | commit | commitdiff | tree | snapshot |
| 2020-03-12 | Thomas Krennwallner | Fix testsuite for python3 when reading utf-8 scripts | commit | commitdiff | tree | snapshot |
| 2020-03-12 | Thomas Krennwallner | Add gringo.1, clingo.1, lpconvert.1, and reify.1 manpages | commit | commitdiff | tree | snapshot |
| 2020-03-12 | Thomas Krennwallner | gringo (5.3.0-13) unstable; urgency=medium | commit | commitdiff | tree | snapshot |
| 2020-03-12 | Thomas Krennwallner | Import gringo_5.3.0-13.debian.tar.xz | commit | commitdiff | tree | snapshot |
| 2018-11-11 | Thomas Krennwallner | Import gringo_5.3.0.orig.tar.gz | commit | commitdiff | tree | snapshot |